structure S =
struct
  type t = int
end
